Logic level - PDFSEARCH.IO - Document Search Engine

Logic level
Results: 537

#	Item
361	Application Note 74 Reading and Writing iButtons via Serial Interfaces www.dalsemi.com I. Add to Reading List Source URL: electronique.marcel.free.fr Language: English - Date: 2006-12-31 12:15:58 Electronics 1-Wire Universal asynchronous receiver/transmitter Microcontroller Serial port RS-232 Logic level ANT D54 Computing Digital electronics Electronic engineering
362	NTE1857 Integrated Circuit Stepper Motor Driver Description: The NTE1857 is designed to drive a two−phase stepper motor in the bipolar mode, The circuit of four input sections, a logic decoding/sequencing section, two Add to Reading List Source URL: www.nteinc.com Language: English - Date: 2013-05-03 14:58:04 Electromagnetism Digital circuits Logic level Logic gate Flip-flop High impedance Electronic engineering Electronics Digital electronics
363	INTEGRATED CIRCUITS DATA SHEET For a complete data sheet, please also download: • The IC06 74HC/HCT/HCU/HCMOS Logic Family Specifications • The IC06 74HC/HCT/HCU/HCMOS Logic Package Information Add to Reading List Source URL: www.nxp.com Language: English - Date: 2013-03-11 07:01:10 Electromagnetism Flip-flop Logic family Logic level Three-state logic HCMOS Digital electronics Electronic engineering Electronics
364	INTEGRATED CIRCUITS DATA SHEET For a complete data sheet, please also download: • The IC06 74HC/HCT/HCU/HCMOS Logic Family Specifications • The IC06 74HC/HCT/HCU/HCMOS Logic Package Information Add to Reading List Source URL: www.nxp.com Language: English - Date: 2011-06-30 05:20:50 Digital signal Logic level Logic family Digital electronics Integrated circuits IC power supply pin
365	Corrections for Logic for Applications 2nd edition June, 2014 p[removed]: We begin by ...of the tree. –> We begin by de…ning a linear ordering n of each level n by induction on the levels. Suppose and are on level n + Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2014-06-16 13:59:01 Propositional calculus Boolean algebra Proof theory Model theory Seattle Mariners all-time roster Logic Mathematical logic Mathematics
366	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design
367	Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-01 20:46:15 Mathematical logic Propositional calculus Model theory Algebraic geometry Logical truth Tautology Pushout Epimorphism Category Logic Mathematics Abstract algebra
368	algebra for digital design derivation Research Prospectus Algebra for Digital Design Derivation August, 1989 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:08:06 Formal methods Digital electronics Logic synthesis Formal verification High-level synthesis Logic gate Standard cell Programming language Function model Electronic engineering Electronic design automation Electronic design
369	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
370	Reliability and Cost Savings DX10 - Measurement with Frequency Output DS14 - Switch with Embedded Relay Control Logic Add to Reading List Source URL: www.icenta.co.uk Language: English - Date: 2010-04-21 06:51:06 Level sensor Automation SCADA Sensors Technology Engineering

UPDATE